Semantics for more plausible deontic logics Invited speech, DEON´02, Imperial College, London, May 22-24, 2002. Sven Ove Hansson Royal Institute of Technology

Source URL: people.kth.se

• Philosophical logic
• Modal logic
• Deontic logic
• FO
• Universal quantification
• Norm
• Formal ethics

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways David Raymond Christiansen, Marco Carbone, and Thomas Hildebrandt IT University of Copenhagen, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark

Source URL: www.davidchristiansen.dk

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

Source URL: www.lri.fr

• Formal methods
• Predicate transformer semantics
• Loop invariant
• Hoare logic
• State-space representation

Programming Cryptographic Protocols? Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, and Brian T. Sniffen The MITRE Corporation Abstract. Cryptographic protocols are useful for trust engineering in

Source URL: evenmere.org

• Formal languages
• Interpretation
• Philosophy of mind
• Semantics
• Communications protocol
• Model theory
• Digital signature

Projet Ajacs Deliverable WP2 Systematic derivation of a static analysis from a formal semantics June 2016

Source URL: ajacs.inria.fr

Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103

Source URL: ai2-website.s3.amazonaws.com

• Academia
• Linguistics
• Cognition
• Formal languages
• Compiler construction
• Cognitive science
• Grammar
• Parsing
• Natural language processing
• Context-free grammar
• Computational linguistics
• Semantics

Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria

Source URL: plv.csail.mit.edu

• Programming idioms
• Computability theory
• Functional programming
• Logic in computer science
• Models of computation
• Recursion
• Denotational semantics
• Monad
• FO
• Valuation
• Static single assignment form

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms? Anupam Datta1 , Jeremiah Blocki1 , Nicolas Christin1 , Henry DeYoung1 , Deepak Garg2 , Limin Jia1 , Dilsun Kaynar1 , Arunesh Sinha1

Source URL: www.andrew.cmu.edu